principal congruence

主同余